﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace PushDownAutomaton
{
    struct DeltaPDAKey
    {
        private PDAState currentState;
        private char inputSymbol;
        private String currentStackTop;

        public DeltaPDAKey(PDAState currentState,
                           char inputSymbol, 
                           String currentStackTop)
        {
            this.currentState = currentState;
            this.inputSymbol = inputSymbol;
            this.currentStackTop = currentStackTop;
        }
    }
}
